Language/OS - Multiplatform Resource Library/LANGUAGE OS.iso/pcl/docs.lha/internals/run-time.tex/images.pl

Text File | 1992-05-30 | 564b | 17 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.


$key = q/left.vphantom{len*countslash8}rightrceil;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 2.38ex; vertical-align: 176.27ex; " SRC="|."$dir".q|img2.png"
 ALT="$\left.\vphantom{ len*count/8}\right\rceil$">|;

$key = q/leftlceilvphantom{len*countslash8}right.;MSF=1.6;AAT/;
$cached_env_img{$key} = q|<IMG
 STYLE="height: 196.25ex; vertical-align: -0.70ex; " SRC="|."$dir".q|img1.png"
 ALT="$\left\lceil\vphantom{ len*count/8}\right.$">|;

1;